Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
511	Nondeterminism in the Presence of a Diverse or Unknown Future ? Udi Boker1 , Denis Kuperberg2 , Orna Kupferman2 , and Michał Skrzypczak3 1 2 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-04-29 05:18:08 Applied mathematics Ω-automaton Muller automaton Büchi automaton Tree automaton Finite-state machine Regular language Formal language Tree Automata theory Theoretical computer science Computer science
512	Séminaire de Sûreté de Fonctionnement de l’X Guarded Transitions Systems Antoine Rauzy École Polytechnique Add to Reading List Source URL: altarica.fr Language: English - Date: 2013-08-01 09:29:48 Software engineering Concurrency Automata theory Diagrams Petri net Markov chain Model checking Fault tree analysis Finite-state machine Models of computation Systems engineering Statistics
513	An AI Modeling Tool for Designers and Developers Dan Fu, Ryan Houlette, and Jeremy Ludwig Stottler Henke Associates, Inc. 951 Mariners Island Blvd, Suite 360 San Mateo, CA 94404 {fu, houlette, ludwig}@stottlerhenke.com Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2008-01-19 05:59:59 Behavior Human behavior Automated planning and scheduling Reactive planning Finite-state machine Application programming interface Intelligent tutoring system Action Education Automata theory Digital electronics Models of computation
514	Deciding the weak definability of Büchi definable tree languages∗ Thomas Colcombet1 , Denis Kuperberg2 , Christof Löding3 , and Michael Vanden Boom4 1,2 CNRS and LIAFA, Université Paris Diderot Paris, France Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-08-07 05:31:08 Ω-automaton Büchi automaton Tree automaton Star height Alternating finite automaton Muller automaton Automata theory Theoretical computer science Computer science
515	Unambiguous Finite Automata ¨ Christof Loding Department of Computer Science RWTH Aachen University, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-06-27 09:04:03 Büchi automaton Finite-state machine Deterministic automaton Muller automaton Automata theory Theoretical computer science Computer science
516	User Guide ioflo version[removed]Document Revision[removed]Samuel M. Smith PhD 242 East 600 North Lindon Add to Reading List Source URL: ioflo.com Language: English - Date: 2015-01-09 12:59:21 Computing Knowledge representation Software engineering Frame Computer science Thread UML state machine Call stack Finite-state machine Models of computation Automata theory Digital electronics
517	RIP: Run-based Intra-query Parallelism for Scalable Complex Event Processing Cagri Balkesen, Nihal Dindar, Matthias Wetter, Nesime Tatbul ETH Zurich, Switzerland {cagri.balkesen, dindarn, wetterma, tatbul}@inf.ethz.ch Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-21 16:31:01 Automata theory Computer programming Finite-state machine Parallel computing Complex event processing Pattern matching Stream processing SQL Regular expression Computing Software engineering Models of computation
518	Games ¨ Christof Loding RWTH Aachen, Germany MOVEP 2008, June 23–27, Orleans, France Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Sequence Ordinal number Automata theory Mathematics Determinacy Parity game
519	Structuring Cellular Automata Rule Space with Attractor Basins Dave Burraston Complex systems such as Cellular Automata (CA) produce global behaviour based on the interactions of simple units (cells). Their evolution is Add to Reading List Source URL: www.noyzelab.com Language: English - Date: 2015-02-06 20:26:18 Cellular automaton Elementary cellular automaton Attractor Slide rule Science Matrix Rule 90 Selection rule Physics Cellular automata Mathematics Chaos theory
520	Perl version[removed]documentation - perlrequick NAME perlrequick - Perl regular expressions quick start DESCRIPTION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:44:57 Pattern matching Regular expressions Scripting languages Perl 6 Automata theory Perl 6 rules TRE Perl Tilde Computing Computer programming Software engineering

UPDATE